$M$.kind $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Kind(1of(2of($M$)))